" J.Strother Moore" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

A Computational Logic (ACM monograph series)

Robert S. Boyer, J. Strother Moore

Категория: Математика, Вычислительная математика

825 Kb

#2

A Computational Logic Handbook (Perspectives in Computing)

Robert S. Boyer, J. Strother Moore

2.40 Mb

#3

A computational logic

Robert S. Boyer, J.Strother Moore

Категория: Mathematical logic

1.62 Mb

#4

A computational logic

Robert S. Boyer, J.Strother Moore

858 Kb

#5

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

J Strother Moore

11.43 Mb